Les divers modèles d'écoulements diphasiques gaz-liquide

Manipulation des Interactions dans les Gaz Quantiques:

The interparticle interactions in ultracold atomic gases can be tuned using Fano–Feshbach scattering resonances, which occur in low–energy collisions between two atoms. These resonances are usually obtained using an external static magnetic field. They turn ultracold atomic gases into an experimental playground for the investigation of novel phases in which Quantum Physics plays a key role. The...

Découverte d'abstractions dans les modèles, les programmes ou les architectures

— MOTS-CLÉS : Découverte d’abstractions, Analyse Formelle de Concepts, Analyse Relationnelle de Concepts, ingénierie des modèles, diagrammes de classes, composants, architectures

Hydrodynamique et étude des transferts de matière gaz-liquide avec réaction dans des microcanaux circulaires

Gérer les informations temporelles dans et par les modèles informatiques

Temporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily crossreference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accura...

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...